9. .....................
Author: Chang, Chin-liang
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
Classification :
QA
9
.
C483
10. A Network Orange:
Author: Richard Crandall
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers -- Moral and ethical aspects.,Computers and civilization.
Classification :
QA76
.
9
.
C66
R534
2011
11. A Practical Introduction to Fuzzy Logic using LISP
Author: / elles MendezیLuis Arg
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|AUTOMATION
Classification :
E-BOOK
12. A 25-Year Perspective on Logic Programmin
Author: / edited by Agostino Dovier, Enrico Pontelli
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science.,Information theory.,Logic design.,Artificial intelligence.
13. A perspective of constraint-based reasoning :
Author: edited by H.W. Güsgen, J. Hertzberg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
Classification :
QA75
.
E358
1992
14. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Automatic theorem proving,Logic, Symbolic and mathematical
Classification :
QA
,
76
.
9
,.
A96B87
15. A resolution principle for a logic with restricted quantifiers
Author: Burckert, Hans-Jurgen
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
568
16. A tight, practical integration of relations and functions
Author: Boley, Harold
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
17. ACM Turing Award lectures :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
Classification :
QA76
.
24
.
A33
1987
18. AI and Cognitive Science '92 :
Author: edited by Kevin Ryan, Richard F.E. Sutcliffe.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Software engineering.
19. AI and Cognitive Science '91 :
Author: edited by Humphrey Sorensen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Translators (Computer programs)
20. AI and cognitive science :
Author: second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Intelligence artificielle -- Actes de congrès.
